University of Portland - PDFSEARCH.IO - Document Search Engine

University of Portland
Results: 974

#	Item
241	Regional Transportation and Land Use Decision Making Add to Reading List Source URL: www.policyconsensus.org Language: English - Date: 2011-04-22 17:40:25 Oregon Pacific Northwest West Coast of the United States Geography of the United States Portland State University Metro Transportation planning Government of Oregon Metropolitan planning organizations
242	Microsoft Word - Heike Mayer CV up to date_Sept 2013 Add to Reading List Source URL: www.geography.unibe.ch Language: English - Date: 2013-12-11 09:42:22 Virginia American Association of State Colleges and Universities Coalition of Urban and Metropolitan Universities Portland State University Economic geography Portland Oregon Mayer Virginia Tech College of Architecture and Urban Studies Virginia Polytechnic Institute and State University Association of Public and Land-Grant Universities Geography of the United States Montgomery County Virginia
243	A Boolean Paradigm in Multi-Valued Logic Synthesis Alan Mishchenko Department of ECE Portland State University [removed] Abstract Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-05-17 15:32:32 Algebraic logic Electronic engineering Electronic design automation Diagrams Electronic design Binary decision diagram Logic synthesis Boolean satisfiability problem Boolean function Boolean algebra Mathematics Mathematical logic
244	TABLE OF CONTENTS PICMET ’13 Message from the President and CEO of PICMET[removed] Executive Committee ........................................................ 4 Acknowledgments................................. Add to Reading List Source URL: www.picmet.org Language: English - Date: 2013-07-09 15:51:47 Portland State University Higher education Nile University Max von Zedtwitz American Association of State Colleges and Universities Association of Public and Land-Grant Universities Coalition of Urban and Metropolitan Universities
245	An Experimental Evaluation of Algorithms for Computation of Internal Don’t-Cares in Boolean Networks Alan Mishchenko Department of Electrical and Computer Engineering Portland State University September 28, 2001 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-10-20 03:32:06 Binary decision diagram Boolean algebra Diagrams Model checking Algorithm Circuit Boolean network Digital electronics Design Mathematics Theoretical computer science Applied mathematics
246	Unate Decomposition of Boolean Functions Alan Mishchenko∗ Portland State University Dept. of Electrical and Computer Engineering Portland, OR 97207, USA [removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-05-09 03:54:08 Logic synthesis Cube Circuit minimization Boolean function Function C++ Espresso heuristic logic minimizer Mathematics Electronic engineering Boolean algebra
247	Higher-Order Flexibilities in Multi-Valued Networks Alan Mishchenko Department of ECE Portland State University, Portland, OR [removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-04-15 13:42:30 Binary trees Mathematics Tango tree Algebraic logic Canonical form Logic
248	CONCORDIA NEIGHBORHOOD ASSOCIATION PO BOX[removed]PORTLAND, OR[removed]A free publication of the Concordia Neighborhood Association \| concordiapdx.org CNA’s Annua l Mee ting & Elec tions Add to Reading List Source URL: concordiapdx.org Language: English - Date: 2013-11-08 21:20:51 Concordia University 2nd millennium Concordia Portland Oregon Lutheran Church–Missouri Synod Portland Maine Geography of North America North Central Association of Colleges and Schools Geography of the United States Neighborhoods of Portland Oregon
249	Logic Synthesis of Reversible Wave Cascades Portland Quantum Logic Group Alan Mishchenko and Marek Perkowski Department of Electrical and Computer Engineering Portland State University Portland, OR 97207, USA Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-05-17 14:51:54 Algebraic logic Mathematical logic Models of computation Digital electronics Electronic design automation Toffoli gate Quantum gate Canonical form Logic synthesis Logic gates Electronic engineering Theoretical computer science
250	Board-Level Multiterminal Net Assignment Xiaoyu Song1, William N. N. Hung2, Alan Mishchenko1, Malgorzata Chrzanowska-Jeske1, Alan Coppola3 and Andrew Kennings4 1 Department of ECE, Portland State University, Portland, O Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-03-01 13:11:46 Applied mathematics Logic in computer science NP-complete problems Formal methods Boolean algebra Boolean satisfiability problem Field-programmable gate array Conjunctive normal form Routing Theoretical computer science Electronic engineering Electronic design automation

UPDATE